Structure-Behavior Coalescence Abstract State Machine for Metamodel-Based Language in Model-Driven Engineering
نویسندگان
چکیده
In model-driven engineering (MDE), the unified modeling language (UML) 2.0 metamodel solution includes a that defines concepts and user model how are represented. UML 2.0, an important usage of is to ensure consistency between different diagrams in model. However, most existing metamodels lack integrated semantic framework project each diagram as view metamodel. To overcome shortcomings current approaches, we developed structure-behavior coalescence abstract state machine (SBC-ASM) for metamodel-based (MBL), which provides able integrate structural constructs with behavioral constructs. Using SBC-ASM MBL can be projected SBC-ASM.
منابع مشابه
The Timed Abstract State Machine Language: Abstract State Machines for Real-Time System Engineering
In this paper, we present the Timed Abstract State Machine (TASM) language, which is a language for the specification of embedded real-time systems. In the engineering of embedded real-time systems, the correctness of the system is defined in terms of three aspects function, time, and resource consumption. The goal of the TASM language and its associated toolset is to provide a basis for specif...
متن کاملA Concrete Syntax Derived From the Abstract State Machine Metamodel
In this paper we present a language for Abstract State Machine specifications. The ASM metamodel (AsmM), introduced in [18], is a MOF-compliant metamodel representing in an abstract and visual way the concepts and constructs of the ASMs formalism as described in [3]. Here we present a concrete syntax (AsmM-CS), an EBNF (extended Backus-Naur Form) grammar derived from the AsmM as a textual notat...
متن کاملA Metamodel for Specifying Quality Models in Model- Driven Engineering
In the context of model-driven engineering, models act as the primary artifacts and are eventually transformed into other artifacts, such as code and documentation. Consequently, to evaluate and assure the quality of software systems, developers need tools and techniques that allow them to reflect upon the quality of the models themselves. This research paper discusses existing quality models b...
متن کاملModel driven language engineering
Modeling is a most important exercise in software engineering and development and one of the current practices is object-oriented (OO) modeling. The Object Management Group (OMG) has defined a standard object-oriented modeling language – the Unified Modeling Language (UML). The OMG is not only interested in modeling languages; its primary aim is to enable easy integration of software systems an...
متن کاملA Metamodel-based Language and a Simulation Engine for Abstract State Machines
In this paper, we present a concrete textual notation, called AsmetaL, and a general-purpose simulation engine, called AsmetaS, for Abstract State Machine (ASM) specifications. They have been developed as part of the ASMETA (ASMs mETAmodelling) toolset, which is a set of tools for ASMs based on the metamodelling approach of the Model-driven Engineering. We briefly present the ASMETA framework, ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Systems Journal
سال: 2021
ISSN: ['1932-8184', '1937-9234', '2373-7816']
DOI: https://doi.org/10.1109/jsyst.2020.3027195